581. Software engineering and formal methods :
Author: Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.
Classification :
QA76
.
758
.
I58
2011
582. Software engineering education :
Author: Jorge L. Diaz-Herrera (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering -- Study and teaching (Higher),Software engineering -- Study and teaching (Higher) -- Congresses.
583. Spatial information theory :
Author: Thora Tenbrink, John Stell, Antony Galton, Zena Wood (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geographic information systems, Congresses
Classification :
G70
.
212
.
C67
2013
584. Specification of Software Systems
Author: by V.S. Alagar, K. Periyasamy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
F67
B987
1998
585. Spectral Techniques in VLSI CAD
Author: by Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer-aided design.,Electronic data processing.
Classification :
TK7874
.
75
B965
2001
586. Spectral techniques and fault detection /
Author: edited by Mark G. Karpovsky
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fault-tolerant computing-- Congresses,Logic design-- Congresses,Signal processing-- Digital techniques-- Congresses,Spectral theory (Mathematics)-- Congresses
Classification :
TK7868
.
L6
S64
1985
587. Stabilization, safety, and security of distributed systems :
Author: Taisuke Izumi, Petr Kuznetsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
Classification :
QA76
.
9
.
S54
588. Starting Out with Programming Logic and Design
Author: / Tony Gaddis
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
589. State-Space Search :
Author: by Weixiong Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA402
.
B994
1999
590. Static Analysis :
Author: edited by Baudouin Charlier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
591. Static Analysis :
Author: by Patrick Cousot, Moreno Falaschi, Gilberto File.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
592. String processing and information retrieval :
Author: edited by Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information retrieval, Congresses.,Text processing (Computer science), Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Computer Imaging, Vision, Pattern Recognition and Graphics.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information retrieval.,Text processing (Computer science)
Classification :
QA76
.
9
.
T48
593. Structural Complexity II
Author: by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
Classification :
QA267
.
B956
1990
594. Structured Document Image Analysis
Author: edited by Henry S. Baird, Horst Bunke, Kazuhiko Yamamoto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer-aided design.,Optical pattern recognition.
Classification :
TA1632
.
E358
1992
595. Sustainable design of complex industrial and energy systems under uncertainty
Author:
Library: National Center for Globalization Library (Tehran)
Subject:
596. Swift 3 for Absolute Beginners
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
Classification :
QA76
.
73
.
S95
597. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
Author: edited by Linda C. van der Gaag.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
Q334
.
E358
2013
598. System Analysis and Modeling: About Models
Author: edited by Frank Alexander Kraemer, Peter Herrmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
599. System and circuit design for biologically-inspired intelligent learning
Author: ]edited by[ Turgay Temel
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Neural networks )Computer science(,، Biologically-inspired computing,، Logic circuits
Classification :
QA
76
.
87
.
S97
2011
600. System and circuit design for biologically-inspired intelligent learning
Author: / [edited by] Turgay Temel
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Neural networks (Computer science),Biologically -- inspired computing,Logic circuits
Classification :
QA
76
.
87
.
S9
2011
